Regulating Polygamy: Intimacy, Default Rules, and Bargaining for Equality

Default Rules for Curry

In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules. However, in some situations it is convenient to express alternatives by means of compact default rules. Alt...

Anaphora Resolution as Equality by Default

The resolution of anaphora is dependent on a number of factors discussed in the literature: syntactic parallelism, topicality, etc. A system that attempts to resolve anaphora will have to represent many of these factors, and deal with their interaction. In addition, there must be a principle that simply says that the system needs to look for an antecedent. Without such a principle, if none of t...

Legislative Bargaining with Endogenous Rules

5. Equality and Function Application Rules

26 the descriptive power of RMIN and the simplicity of its semantics, they provide a powerful incentive for further investigation of RMIN in combination with ACL as the basis of a formal software development method. Notes 1. In fact it is only when using a typed theory that there is a problem with undeened terms. In untyped axiomatic set theory the application of a function outside its domain c...

Interpolative Reasoning with Default Rules

Default reasoning and interpolation are two important forms of commonsense rule-based reasoning. The former allows us to draw conclusions from incompletely specified states, by making assumptions on normality, whereas the latter allows us to draw conclusions from states that are not explicitly covered by any of the available rules. Although both approaches have received considerable attention i...